../../../pargo-instances/clique/dimacs/C125.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.01 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 519 rows, 644 columns, and 1704 nonzeros.
Reduced MIP has 125 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.68 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Tried aggregator 1 time.
Presolve time = 0.00 sec. (0.69 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Clique table members: 520.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.01 sec. (6.80 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      125.0000      300     --- 
      0     0       45.4038   125        0.0000       45.4038      300     --- 
*     0+    0                           30.0000       45.4038      300   51.35%
      0     0       44.7570   125       30.0000      Cuts: 17      368   49.19%
*     0+    0                           32.0000       44.7570      368   39.87%
      0     0       44.3188   126       32.0000      Cuts: 20      432   38.50%
      0     0       43.4744   125       32.0000      Cuts: 33      527   35.86%
      0     0       43.1141   125       32.0000      Cuts: 14      595   34.73%
      0     0       42.8772   126       32.0000      Cuts: 15      654   33.99%
      0     0       42.6711   125       32.0000      Cuts: 13      709   33.35%
      0     0       42.5441   125       32.0000 UserPurge2: 13      754   32.95%
      0     0       42.4018   124       32.0000      Cuts: 12      814   32.51%
      0     0       42.2448   126       32.0000      Cuts: 28      864   32.02%
      0     0       42.1368   126       32.0000      Cuts: 11      897   31.68%
      0     0       41.9663   126       32.0000      Cuts: 17      951   31.14%
*     0+    0                           34.0000       41.9663      951   23.43%
      0     0       41.9030   126       34.0000      Cuts: 16     1001   23.24%
      0     0       41.8593   126       34.0000      Cuts: 14     1046   23.12%
      0     0       41.7697   126       34.0000 UserPurge2: 15     1076   22.85%
      0     0       41.6585   126       34.0000      Cuts: 16     1120   22.52%
      0     0       41.4995   126       34.0000      Cuts: 14     1169   22.06%
      0     0       41.4588   126       34.0000       Cuts: 9     1193   21.94%
      0     0       41.4420   125       34.0000 UserPurge2: 5     1217   21.89%
      0     0       41.4111   125       34.0000       Cuts: 7     1242   21.80%
      0     0       41.3941   126       34.0000       Cuts: 7     1266   21.75%
      0     0       41.3662   126       34.0000      Cuts: 10     1289   21.67%
      0     0       41.3448   126       34.0000       Cuts: 5     1311   21.60%
      0     0       41.3263   126       34.0000      Cuts: 11     1332   21.55%
      0     0       41.2958   125       34.0000 UserPurge2: 9     1361   21.46%
      0     0       41.2770   125       34.0000 UserPurge2: 2     1383   21.40%
      0     0       41.2576   125       34.0000 UserPurge2: 4     1406   21.35%
      0     0       41.1970   125       34.0000 UserPurge2: 9     1443   21.17%
      0     0       41.1900   126       34.0000       Cuts: 5     1454   21.15%
      0     0       41.1782   126       34.0000       Cuts: 6     1474   21.11%
      0     0       41.1658   125       34.0000 UserPurge2: 5     1492   21.08%
      0     0       41.1487   125       34.0000 UserPurge2: 4     1521   21.03%
      0     0       41.0868   126       34.0000 UserPurge2: 4     1555   20.84%
      0     0       41.0765   126       34.0000 UserPurge2: 2     1567   20.81%
      0     0       41.0540   126       34.0000 UserPurge2: 3     1587   20.75%
      0     0       40.8991   126       34.0000      Cuts: 12     1640   20.29%
      0     0       40.8754   126       34.0000       Cuts: 7     1662   20.22%
      0     0       40.8494   126       34.0000       Cuts: 7     1691   20.15%
      0     0       40.8482   126       34.0000 UserPurge2: 1     1697   20.14%
      0     0       40.8455   126       34.0000 UserPurge2: 2     1706   20.13%
      0     0       40.8138   125       34.0000 UserPurge2: 2     1731   20.04%
      0     0       40.7977   126       34.0000 UserPurge2: 4     1747   19.99%
      0     0       40.7728   126       34.0000       Cuts: 5     1772   19.92%
      0     0       40.7513   125       34.0000      Cuts: 10     1794   19.86%
      0     0       40.7145   126       34.0000 UserPurge2: 2     1823   19.75%
      0     0       40.6988   125       34.0000       Cuts: 5     1843   19.70%
      0     0       40.6770   126       34.0000       Cuts: 8     1875   19.64%
      0     0       40.6755   126       34.0000 UserPurge2: 2     1883   19.63%
      0     0       40.6749   126       34.0000 UserPurge2: 1     1886   19.63%
      0     0       40.6705   126       34.0000 UserPurge2: 2     1899   19.62%
      0     0       40.6597   126       34.0000 UserPurge2: 4     1917   19.59%
      0     0       40.6546   125       34.0000 UserPurge2: 2     1932   19.57%
      0     0       40.6443   126       34.0000 UserPurge2: 4     1961   19.54%
      0     0       40.6420   126       34.0000 UserPurge2: 1     1971   19.54%
      0     0       40.6342   126       34.0000 UserPurge2: 3     1996   19.51%
      0     0       40.6210   126       34.0000 UserPurge2: 2     2024   19.47%
      0     0       40.6027   126       34.0000       Cuts: 5     2054   19.42%
      0     0       40.5922   126       34.0000 UserPurge2: 5     2073   19.39%
      0     0       40.5882   126       34.0000 UserPurge2: 2     2084   19.38%
      0     0       40.5520   125       34.0000       Cuts: 6     2124   19.27%
      0     0       40.5373   125       34.0000 UserPurge2: 6     2159   19.23%
      0     0       40.5321   125       34.0000 UserPurge2: 4     2174   19.21%
      0     0       40.5285   124       34.0000 UserPurge2: 1     2185   19.20%
      0     0       40.5194   124       34.0000 UserPurge2: 2     2202   19.17%
      0     0       40.4936   125       34.0000 UserPurge2: 8     2240   19.10%
      0     0       40.4896   126       34.0000 UserPurge2: 2     2253   19.09%
      0     0       40.4588   126       34.0000 UserPurge2: 11     2295   19.00%
      0     0       40.4512   126       34.0000 UserPurge2: 3     2313   18.97%
      0     0       40.4462   126       34.0000 UserPurge2: 2     2328   18.96%
      0     0       40.4439   126       34.0000       Cuts: 3     2333   18.95%
      0     0       40.4239   126       34.0000 UserPurge2: 2     2352   18.89%
      0     0       40.4094   126       34.0000 UserPurge2: 2     2372   18.85%
      0     0       40.4066   126       34.0000       Cuts: 6     2384   18.84%
      0     0       40.4024   126       34.0000 UserPurge2: 2     2399   18.83%
      0     0       40.4015   126       34.0000 UserPurge2: 1     2407   18.83%
      0     0       40.3986   126       34.0000 UserPurge2: 3     2415   18.82%
      0     0       40.3976   126       34.0000 UserPurge2: 3     2420   18.82%
      0     0       40.3856   126       34.0000 UserPurge2: 9     2438   18.78%
      0     0       40.3697   126       34.0000      Cuts: 10     2460   18.73%
      0     0       40.3630   126       34.0000 UserPurge2: 2     2470   18.71%
      0     0       40.3594   126       34.0000 UserPurge2: 1     2483   18.70%
      0     0       40.3497   126       34.0000 UserPurge2: 3     2497   18.68%
      0     0       40.3447   126       34.0000 UserPurge2: 2     2507   18.66%
      0     0       40.3437   126       34.0000 UserPurge2: 1     2513   18.66%
      0     0       40.3403   126       34.0000 UserPurge2: 2     2528   18.65%
      0     0       40.3380   126       34.0000 UserPurge2: 1     2536   18.64%
      0     0       40.3338   126       34.0000 UserPurge2: 2     2549   18.63%
      0     0       40.2838   126       34.0000 UserPurge2: 1     2587   18.48%
      0     0       40.2655   126       34.0000 UserPurge2: 10     2612   18.43%
      0     0       40.2612   126       34.0000 UserPurge2: 1     2622   18.42%
      0     0       40.2498   125       34.0000 UserPurge2: 2     2644   18.38%
      0     0       40.2338   126       34.0000 UserPurge2: 3     2658   18.33%
      0     0       40.1973   125       34.0000 UserPurge2: 3     2680   18.23%
      0     0       40.1902   126       34.0000 UserPurge2: 3     2693   18.21%
      0     0       40.1870   126       34.0000 UserPurge2: 2     2706   18.20%
      0     0       40.1853   126       34.0000 UserPurge2: 1     2719   18.19%
      0     0       40.1624   126       34.0000 UserPurge2: 3     2744   18.12%
      0     0       40.1608   126       34.0000 UserPurge2: 1     2754   18.12%
      0     0       40.1415   126       34.0000 UserPurge2: 9     2788   18.06%
      0     0       40.1363   126       34.0000 UserPurge2: 1     2799   18.05%
      0     0       40.1363   126       34.0000 UserPurge2: 1     2800   18.05%
      0     0       40.1285   126       34.0000 UserPurge2: 12     2821   18.03%
      0     0       40.1281   126       34.0000 UserPurge2: 2     2831   18.02%
      0     0       40.1271   126       34.0000 UserPurge2: 2     2837   18.02%
      0     0       40.1260   126       34.0000 UserPurge2: 2     2844   18.02%
      0     0       40.1241   126       34.0000 UserPurge2: 2     2853   18.01%
      0     0       40.1204   126       34.0000 UserPurge2: 1     2861   18.00%
      0     0       40.1200   126       34.0000 UserPurge2: 1     2867   18.00%
      0     0       40.1122   126       34.0000 UserPurge2: 2     2887   17.98%
      0     0       40.1106   126       34.0000 UserPurge2: 2     2899   17.97%
      0     0       40.0928   126       34.0000 UserPurge2: 4     2925   17.92%
      0     0       40.0866   126       34.0000 UserPurge2: 2     2937   17.90%
      0     0       40.0751   125       34.0000 UserPurge2: 10     2958   17.87%
      0     0       40.0748   125       34.0000 UserPurge2: 1     2964   17.87%
      0     0       40.0739   125       34.0000 UserPurge2: 2     2973   17.86%
      0     0       40.0735   125       34.0000 UserPurge2: 1     2980   17.86%
      0     0       40.0676   125       34.0000 UserPurge2: 2     2997   17.85%
      0     0       40.0665   125       34.0000 UserPurge2: 4     3004   17.84%
      0     0       40.0632   126       34.0000 UserPurge2: 3     3016   17.83%
      0     0       40.0584   126       34.0000 UserPurge2: 2     3036   17.82%
      0     0       40.0490   126       34.0000 UserPurge2: 1     3052   17.79%
      0     0       40.0484   126       34.0000 UserPurge2: 1     3055   17.79%
      0     0       40.0465   126       34.0000 UserPurge2: 2     3067   17.78%
      0     0       40.0456   126       34.0000 UserPurge2: 3     3073   17.78%
      0     0       40.0198   126       34.0000 UserPurge2: 10     3104   17.71%
      0     0       39.9964   126       34.0000 UserPurge2: 9     3127   17.64%

User cuts applied:  268

Root node processing (before b&c):
  Real time             =    5.09 sec. (5991.09 ticks)
Sequential b&c:
  Real time             =    0.00 sec. (0.00 ticks)
                          ------------
Total (root+branch&cut) =    5.09 sec. (5991.09 ticks)
Solution status = Feasible
Solution value  = 34
Clique separated  = 934
Rango separated  = 458
Rango con pesos separated  = 63
Número de nudos B&B  = 0
Número de llamadas a PL  = 136
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 5
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.015
Número de vértices para grafos chicos: 50
